Was (wer) ist Θεωρία (μαθηματική λογική) - definition
Θεωρία (μαθηματική λογική)
Στη μαθηματική λογική, μια θεωρία είναι σύνολο από προτάσεις σε μια τυπική γλώσσα. Για παράδειγμα, μια θεωρία πρώτης τάξης είναι σύνολο από προτάσεις πρώτης τάξης.
Μαθηματική λογική
Η μαθηματική λογική είναι ένας κλάδος των μαθηματικών και της επιστήμης υπολογιστών, με στενή σχέση και με τη φιλοσοφική λογική.Προπτυχιακά κείμενα περιλαμβάνουν τους Boolos, Burgess, and Jeffrey (2002), Enderton (2002), and Mendelson (1997).
Θεωρία-Μ
Υπάρχουν πλέον πειστικές ενδείξεις ότι η θεωρία υπερχορδών αποτελεί μέρος μίας πληρέστερης θεωρίας, η οποία αποκαλείται συνήθως Θεωρία-Μ. Σημαντικό μέρος της γνώσης μας για τη θεωρία-Μ προέρχεται από το όριο χαμηλής ενέργειας, το οποίο περιγράφεται από την ενδεκαδιάστατη υπερβαρύτητα.
Wikipedia
Θεωρία (μαθηματική λογική)
Στη μαθηματική λογική, μια θεωρία είναι σύνολο από προτάσεις σε μια τυπική γλώσσα. Για παράδειγμα, μια θεωρία πρώτης τάξης είναι σύνολο από προτάσεις πρώτης τάξης.
